#include <stdio.h>
void run();
int main()
{
    printf("Hello Linux!\n");
    run();
    return 0;
} 